Compression of Arbitrary Cutting Planes
نویسندگان
چکیده
We present an efficient algorithm for compressing the data necessary to represent an arbitrary cutting plane extracted from a three dimensional curvilinear data set. The cutting plane technique is an important visualization method for time-varying 3D simulation results since the data sets are often so large. An efficient compression algorithm for these cutting planes is especially important when the simulation running on a remote server is being tracked or the data set is stored on a remote server. Various aspects of the visualization process are considered in the algorithm design, such as the inherent data reduction in going from 3D to 2D when generating a cutting plane, the numerical accuracy required in the cutting plane, and the potential to decimate the triangle mesh. After separating each floating point number into mantissa and exponent, a block sorting algorithm and an entropy coding algorithm are used to perform lossless compression. Summary In Computational Field Simulations (CFS), several gigabytes of data are often generated in a single simulation. How to examine all these data quickly and efficiently, and yet grasp all the information, is a unsolved problem for CFS researchers and practicers. A CFS data set is often stored as a 3D structured (curvilinear) grid over space with functional values (temperature, pressure, velocity, momentum, salinity) associated with each point. One way to examine the data is to create cutting planes across this data volume. Algorithms exist to compute both the cutting plane (a surface consisting of triangles) and the data that should be on the cutting planes (usually associated with the vertices of the triangles). Each cutting plane is constructed by determining the intersections of the user-defined cutting plane and the curvilinear CFS grid. The functional value at each of those intersection points is determined by interpolating between known values at the grid points of the curvilinear grid. The triangle connectivity is easily determined since the cells that are sliced are convex hexahedrons. However, numerous degenerate (redundant) and very slender (irrelevant) triangles are often created. Advances in simulation techniques and computational technology now allow us to simulate complicated phenomena at a multitude of spatio-temporal scales with very high accuracy. However, these simulations generate very large datasets and often can only run efficiently on large supercomputers, most of which are located in remote locations, while the research scientists may be located anyway. Unfortunately the communication links to these large computational centers are inferior to the computational power therein. Demand thus arises for techniques to allow scientists to remotely track, steer, and analyze the simulations run on these supercomputers. By eliminating redundant data produced by the standard visualization techniques, separating the floating point numbers into mantissa and exponent to code, and using a block sorting algorithm, we are able to losslessly compress the cutting plane data (geometry and functional values) on the order of 10:1. By adjusting the data accuracy to match the visualization accuracy, even more, albeit lossy, compression can be obtained.
منابع مشابه
Data Compression of Cutting Plane
We propose an efficient algorithm for compressing cutting plane of three dimensional Computational Fluid Dynamics (CFD) data set. Observing the cutting planes of large 3D CFD data set is an important method for examination of simulation result, and efficient compression algorithm of these cutting planes is important for good performance of visualization when the simulation is running in a remot...
متن کاملA separation between semantic and syntactic cutting planes
In this note we argue that semantic cutting planes refutations are stronger than syntactic ones. In particular, we give a formula for which any refutation in syntactic cutting planes requires exponential length, while there is a polynomial length refutation in semantic cutting planes. This means that syntactic cutting planes does not p-simulate (nor simulate) semantic cutting planes. We also gi...
متن کاملApproximating polyhedra with sparse inequalities
In this paper, we study how well one can approximate arbitrary polytopes using sparse inequalities. Our motivation comes from the use of sparse cutting-planes in mixed-integer programing (MIP) solvers, since they help in solving the linear programs encountered during branch&-bound more efficiently. However, how well can we approximate the integer hull by just using sparse cutting-planes? In ord...
متن کاملSemantic Versus Syntactic Cutting Planes
In this paper, we compare the strength of the semantic and syntactic version of the cutting planes proof system. First, we show that the lower bound technique of [22] applies also to semantic cutting planes: the proof system has feasible interpolation via monotone real circuits, which gives an exponential lower bound on lengths of semantic cutting planes refutations. Second, we show that semant...
متن کاملContour-based Progressive Transmission of Cutting Plane Data
We present an efficient algorithm for progressive transmission of cutting plane data extracted from large scale Computational Field Simulation (CFS) datasets. Since cutting planes are the most frequently-used method for examination of 3D simulation results, efficient compression of both the geometry/topography and the associated field data is important for good visualization performance, especi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999